نمایش نتایج جستجو برای
نام همایش: دومین کنفرانس ملی اویونیک ایران
موارد یافت شده: 3
1 - معرفی و تحلیل ابزارهای نرم‌افزاری تزریق اشکال قابل استفاده در صنایع هوافضا (چکیده)2 - طراحی روشی برای افزودن امکان تشخیص خطا در رأی‌گیرنده‌های نرم‌افزاری برای سیستم‌های نهفته بحرانی-ایمن (چکیده)
3 - بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن (چکیده)
